A Stepwise Development of the Alternating Bit ProtocolAxel
نویسنده
چکیده
In this paper, the theory of fair action systems is used in the speciication and development of the Alternating Bit Protocol. A version of the Movers Theorem for fair action systems is proved, which permits the interleaving of actions of one action system within another. This Movers Theorem is applied repeatedly in the development of the Alternating Bit Protocol.
منابع مشابه
Development of Mathematical Model for Controlling the Drilling Parameters with a Screw Downhole Motor
Article presents results of study on possibility of increasing the efficiency of drilling directional straight sections of wells using screw downhole motors (SDM) with a combined method of drilling with rotation of drilling string (DS). Goal is to ensure steady-state operation of SDM with simultaneous rotation of DS by reducing the amplitude of oscillations with adjusting the parameters of dril...
متن کاملAlternating Regular Tree Grammars in the Framework of Lattice-Valued Logic
In this paper, two different ways of introducing alternation for lattice-valued (referred to as {L}valued) regular tree grammars and {L}valued top-down tree automata are compared. One is the way which defines the alternating regular tree grammar, i.e., alternation is governed by the non-terminals of the grammar and the other is the way which combines state with alternation. The first way is ta...
متن کاملNew Achievements in Fe3O4 Nanofluid Fully Developed Forced Convection Heat Transfer under the Effect of a Magnetic Field: An Experimental Study
Fe3O4 nanofluid fully developed forced convection inside a copper tube is empirically investigated under the effect of a magnetic field. All of the investigations are performed under laminar flow regime (670≤Re≤1700) and thermal boundary conditions of the tube with uniform thermal flux. The tube is under the effect of a magnetic field in certain points. This research aims to study the effect of...
متن کاملOptimum Drill Bit Selection by Using Bit Images and Mathematical Investigation
This study is designed to consider the two important yet often neglected factors, which are factory recommendation and bit features, in optimum bit selection. Image processing techniques have been used to consider the bit features. A mathematical equation, which is derived from a neural network model, is used for drill bit selection to obtain the bit’s maximum penetration rate that corresponds ...
متن کاملComparative stepwise pattern of reactive oxygen species production during in vitro development of fertilized and nuclear transferred goat embryos
Objective A unique feature of embryo metabolism is production of reactive oxygen species (ROS). It is well established that during in vitro culture, ROS levels increase over normal ranges observed for embryos developed in vivo. This study evaluates and compares the stepwise pattern of ROS production during in vitro development of reconstructed goat embryos produced by zona-free method of somati...
متن کامل